@color_dot_9: rgba(0,0,0,0.9);
@color_dot_5: rgba(0,0,0,0.5);
@color_dot_3: rgba(0,0,0,0.3);
@color_dot_15: rgba(0,0,0,0.15);
@color_dot_1: rgba(0,0,0,0.1);

@dbt:14pt;
@xbt:12pt;
@ms:10pt;
